Construction building systems protection under emergency exposure

Under construction: building a safer industry.

A revolution in the building industry over the past decade has spawned a new generation of safer materials and practices, decreasing some health risks for construction workers. Concerned consumers, builders, materials manufacturers, and government regulatory agencies have all contributed to a turn toward "green" building materials and practices, meaning that homeowners and office workers now ar...

Building Robust Systems with Fallible Construction

Ncat Test Track and New Building under Construction

Fabric: Building open distributed systems securely by construction

Distributed information systems are prevalent in modern computing but difficult to build securely. Because systems commonly span domains of trust, host nodes share data and code of varying degrees of trustworthiness. Modern systems are often open and extensible, making security even harder to reason about. Unfortunately, standard methods for software construction do not help programmers enough ...

Building secure-by-construction distributed component-based systems

We present an automated method to build secure distributed systems from an abstract multilevel security component-based model. We take as input a high-level secureBIP componentbased model and transform it into a decentralized Send/Receive secureBIP model and further on distributed code. The security policy is defined at the design time. Information flow policy is verified and automatically pres...